-
1 литерал резолюции
літера́л резолю́ціїРусско-украинский политехнический словарь > литерал резолюции
-
2 литерал резолюции
літера́л резолю́ціїРусско-украинский политехнический словарь > литерал резолюции
-
3 литерал
-
4 литерал
См. также в других словарях:
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия